#include "libc/sysv/macros.internal.h"
.scall sys_sem_timedwait,0x900fff9b9fffffff,4095,4095,2489,globl
